// -*- go -*-

package main

const One = 1
const H0 = 0x5be0cd191f83d9ab9b05688c510e527fa54ff53a3c6ef372bb67ae856a09e667

func main(a, b uint255) uint255 {
     return H0 + a + b + One
}
